41. June 3, 2011. Proceedings, Part II-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 -New Challenges on Bioinspired Applications: 4th International Work
پدیدآورنده : / lix de la Paz, F. Javier Toledo (eds.)فnchez, Fعlvarez Sn ل Ramفndez, Josع Manuel FerrفVilda (auth.), Jos-mezلPedro G
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
42. 28-Language and Automata Theory and Applications.. 4th International Conference, LATA 2010, Trier, Germany, May 24
پدیدآورنده : / Horia Dediu (eds)-Vide Edited by Adrian-Henning Fernau Carlos Martin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
43. Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
پدیدآورنده : / Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
44. Managing Agile
پدیدآورنده : / Alan Moran
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
45. Mathematical and Engineering Methods in Computer Science
پدیدآورنده : / , Jan Kofro, Jan Koenek, Petr Matula, Karel Palaج Jaroکk, Jiع, Zdenk DvoیPetr Hlinn
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
46. Mathematical and Engineering Methods in Computer Science
پدیدآورنده : / ج Vojnar, David Antoع‌جetil, Tomجn Kuera, Thomas A. Henzinger, Jaroslav NeکAnton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
47. Methods and Tools of Parallel Programming Multicomputers
پدیدآورنده : / Hsien Hsu, Victor Malyshkin-Ching
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
48. Modelling Autonomic Communication Environments
پدیدآورنده : / Rob Brennan, Joel Fleck, Sven Meer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
49. Numbers and Computers
پدیدآورنده : / Ronald T. Kneusel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
50. Numerical Computations with GPUs
پدیدآورنده : / Volodymyr Kindratenko
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
51. Open problems in mathematics and computational science
پدیدآورنده : / (ed.)غetin Kaya Ko
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
52. Operational Semantics and Verification of Security Protocols
پدیدآورنده : / Cas Cremers, Sjouke Mauw
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
53. Point Arithmetic-Handbook of Floating
پدیدآورنده : / , Serge Torresفvre, Guillaume Melquiond, Nathalie Revol, Damien StehlغPierre Jeannerod, Vincent Lef-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Jean
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
54. Practical Goal Programming
پدیدآورنده : / Dylan Jones, Mehrdad Tamiz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
55. 16, 2011. Proceedings- CP 2011: 17th International Conference, CP 2011, Perugia, Italy, September 12ع۰بPrinciples and Practice of Constraint Programming
پدیدآورنده : / Leonardo de Moura (auth.), Jimmy Lee (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
56. 15, 2011. Proceedings-Cryptography and Coding: 13th IMA International Conference, IMACC 2011, Oxford, UK, December 12
پدیدآورنده : / Antoine Amarilli, David Naccache, Pablo Rauzy, Emil Simion (auth.), Liqun Chen (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
57. 23, 2011. Proceedings-DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19
پدیدآورنده : / Kanamori (auth.), Luca Cardelli, William Shih (eds.)-Vincent Danos, Heinz Koeppl, John Wilson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
58. 22, 2011. Proceedings-Developments in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19
پدیدآورنده : / Golnaz Badkobeh, Supaporn Chairungsee, Maxime Crochemore (auth.), Giancarlo Mauri, Alberto Leporati (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
59. 13, 2012. Proceedings-Evolutionary Computation in Combinatorial Optimization: 12th European Conference, EvoCOP 2012, Mlaga, Spain, April 11
پدیدآورنده : / Kao Hao, Martin Middendorf (eds.)-nguez, Enrique Alba (auth.), Jinکn DomعJuli
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
60. 29, 2011. Proceedings-Evolutionary Computation in Combinatorial Optimization: 11th European Conference, EvoCOP 2011, Torino, Italy, April 27
پدیدآورنده : / Kao Hao (eds.)-Sadaf Naseem Jat, Shengxiang Yang (auth.), Peter Merz, Jin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
